A. Das; 2020; "On the Logical Complexity of Cyclic Arithmetic" - Internet Explorer 2.0

A. Das; 2020; "On the Logical Complexity of Cyclic Arithmetic"

Memo

arxiv: https://arxiv.org/abs/1807.10248

現在はv6